Integrand size = 23, antiderivative size = 355 \[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\frac {2 \arctan \left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{a^{5/2} d}-\frac {9683 \arctan \left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {2} \sqrt {a+a \sec (c+d x)}}\right )}{4096 \sqrt {2} a^{5/2} d}-\frac {1491 \cot (c+d x) \sqrt {a+a \sec (c+d x)}}{4096 a^3 d}+\frac {5587 \cot ^3(c+d x) (a+a \sec (c+d x))^{3/2}}{6144 a^4 d}-\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{2048 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d} \]
[Out]
Time = 0.41 (sec) , antiderivative size = 355, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.261, Rules used = {3972, 483, 593, 597, 536, 209} \[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\frac {2 \arctan \left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {a \sec (c+d x)+a}}\right )}{a^{5/2} d}-\frac {9683 \arctan \left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {2} \sqrt {a \sec (c+d x)+a}}\right )}{4096 \sqrt {2} a^{5/2} d}+\frac {5587 \cot ^3(c+d x) (a \sec (c+d x)+a)^{3/2}}{6144 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a \sec (c+d x)+a)^{3/2}}{128 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a \sec (c+d x)+a)^{3/2}}{256 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a \sec (c+d x)+a)^{3/2}}{1024 a^4 d}-\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a \sec (c+d x)+a)^{3/2}}{2048 a^4 d}-\frac {1491 \cot (c+d x) \sqrt {a \sec (c+d x)+a}}{4096 a^3 d} \]
[In]
[Out]
Rule 209
Rule 483
Rule 536
Rule 593
Rule 597
Rule 3972
Rubi steps \begin{align*} \text {integral}& = -\frac {2 \text {Subst}\left (\int \frac {1}{x^4 \left (1+a x^2\right ) \left (2+a x^2\right )^5} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{a^4 d} \\ & = -\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}-\frac {\text {Subst}\left (\int \frac {5 a-11 a^2 x^2}{x^4 \left (1+a x^2\right ) \left (2+a x^2\right )^4} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{8 a^5 d} \\ & = -\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}-\frac {\text {Subst}\left (\int \frac {-51 a^2-243 a^3 x^2}{x^4 \left (1+a x^2\right ) \left (2+a x^2\right )^3} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{96 a^6 d} \\ & = -\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}-\frac {\text {Subst}\left (\int \frac {-1509 a^3-3045 a^4 x^2}{x^4 \left (1+a x^2\right ) \left (2+a x^2\right )^2} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{768 a^7 d} \\ & = -\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{2048 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}-\frac {\text {Subst}\left (\int \frac {-16761 a^4-22905 a^5 x^2}{x^4 \left (1+a x^2\right ) \left (2+a x^2\right )} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{3072 a^8 d} \\ & = \frac {5587 \cot ^3(c+d x) (a+a \sec (c+d x))^{3/2}}{6144 a^4 d}-\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{2048 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}+\frac {\text {Subst}\left (\int \frac {-13419 a^5-50283 a^6 x^2}{x^2 \left (1+a x^2\right ) \left (2+a x^2\right )} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{18432 a^8 d} \\ & = -\frac {1491 \cot (c+d x) \sqrt {a+a \sec (c+d x)}}{4096 a^3 d}+\frac {5587 \cot ^3(c+d x) (a+a \sec (c+d x))^{3/2}}{6144 a^4 d}-\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{2048 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}-\frac {\text {Subst}\left (\int \frac {60309 a^6-13419 a^7 x^2}{\left (1+a x^2\right ) \left (2+a x^2\right )} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{36864 a^8 d} \\ & = -\frac {1491 \cot (c+d x) \sqrt {a+a \sec (c+d x)}}{4096 a^3 d}+\frac {5587 \cot ^3(c+d x) (a+a \sec (c+d x))^{3/2}}{6144 a^4 d}-\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{2048 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d}-\frac {2 \text {Subst}\left (\int \frac {1}{1+a x^2} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{a^2 d}+\frac {9683 \text {Subst}\left (\int \frac {1}{2+a x^2} \, dx,x,-\frac {\tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{4096 a^2 d} \\ & = \frac {2 \arctan \left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {a+a \sec (c+d x)}}\right )}{a^{5/2} d}-\frac {9683 \arctan \left (\frac {\sqrt {a} \tan (c+d x)}{\sqrt {2} \sqrt {a+a \sec (c+d x)}}\right )}{4096 \sqrt {2} a^{5/2} d}-\frac {1491 \cot (c+d x) \sqrt {a+a \sec (c+d x)}}{4096 a^3 d}+\frac {5587 \cot ^3(c+d x) (a+a \sec (c+d x))^{3/2}}{6144 a^4 d}-\frac {1527 \cos (c+d x) \cot ^3(c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{2048 a^4 d}-\frac {145 \cos ^2(c+d x) \cot ^3(c+d x) \sec ^4\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{1024 a^4 d}-\frac {9 \cos ^3(c+d x) \cot ^3(c+d x) \sec ^6\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{256 a^4 d}-\frac {\cos ^4(c+d x) \cot ^3(c+d x) \sec ^8\left (\frac {1}{2} (c+d x)\right ) (a+a \sec (c+d x))^{3/2}}{128 a^4 d} \\ \end{align*}
Time = 3.44 (sec) , antiderivative size = 287, normalized size of antiderivative = 0.81 \[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\frac {\cos ^5\left (\frac {1}{2} (c+d x)\right ) \sec ^{\frac {5}{2}}(c+d x) \left (\left (-29258+3200 \csc ^2\left (\frac {1}{2} (c+d x)\right )-128 \csc ^4\left (\frac {1}{2} (c+d x)\right )+18225 \sec ^2\left (\frac {1}{2} (c+d x)\right )-4470 \sec ^4\left (\frac {1}{2} (c+d x)\right )+696 \sec ^6\left (\frac {1}{2} (c+d x)\right )-48 \sec ^8\left (\frac {1}{2} (c+d x)\right )\right ) \sqrt {\sec (c+d x)}+49152 \arctan \left (\frac {\tan \left (\frac {1}{2} (c+d x)\right )}{\sqrt {\frac {1}{1+\sec (c+d x)}}}\right ) \cot \left (\frac {1}{2} (c+d x)\right ) \sqrt {\frac {\sec (c+d x)}{(1+\sec (c+d x))^2}} \sqrt {1+\sec (c+d x)}-29049 \arcsin \left (\tan \left (\frac {1}{2} (c+d x)\right )\right ) \cot \left (\frac {1}{2} (c+d x)\right ) \sqrt {\sec ^2\left (\frac {1}{2} (c+d x)\right )} \sqrt {\frac {1}{1+\sec (c+d x)}} \sqrt {1+\sec (c+d x)}\right ) \sin \left (\frac {1}{2} (c+d x)\right )}{3072 d (a (1+\sec (c+d x)))^{5/2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(709\) vs. \(2(310)=620\).
Time = 1.93 (sec) , antiderivative size = 710, normalized size of antiderivative = 2.00
method | result | size |
default | \(-\frac {\sqrt {a \left (1+\sec \left (d x +c \right )\right )}\, \left (29049 \cos \left (d x +c \right )^{3} \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \sqrt {2}\, \ln \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )+\sqrt {\cot \left (d x +c \right )^{2}-2 \cot \left (d x +c \right ) \csc \left (d x +c \right )+\csc \left (d x +c \right )^{2}-1}\right )-49152 \cos \left (d x +c \right )^{3} \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \operatorname {arctanh}\left (\frac {\sin \left (d x +c \right )}{\left (\cos \left (d x +c \right )+1\right ) \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}}\right )+87147 \sqrt {2}\, \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \ln \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )+\sqrt {\cot \left (d x +c \right )^{2}-2 \cot \left (d x +c \right ) \csc \left (d x +c \right )+\csc \left (d x +c \right )^{2}-1}\right ) \cos \left (d x +c \right )^{2}-147456 \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \operatorname {arctanh}\left (\frac {\sin \left (d x +c \right )}{\left (\cos \left (d x +c \right )+1\right ) \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}}\right ) \cos \left (d x +c \right )^{2}+87147 \sqrt {2}\, \ln \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )+\sqrt {\cot \left (d x +c \right )^{2}-2 \cot \left (d x +c \right ) \csc \left (d x +c \right )+\csc \left (d x +c \right )^{2}-1}\right ) \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \cos \left (d x +c \right )-147456 \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \operatorname {arctanh}\left (\frac {\sin \left (d x +c \right )}{\left (\cos \left (d x +c \right )+1\right ) \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}}\right ) \cos \left (d x +c \right )+29049 \ln \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )+\sqrt {\cot \left (d x +c \right )^{2}-2 \cot \left (d x +c \right ) \csc \left (d x +c \right )+\csc \left (d x +c \right )^{2}-1}\right ) \sqrt {2}\, \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}+29258 \cos \left (d x +c \right )^{3} \cot \left (d x +c \right )^{3}-49152 \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}\, \operatorname {arctanh}\left (\frac {\sin \left (d x +c \right )}{\left (\cos \left (d x +c \right )+1\right ) \sqrt {-\frac {\cos \left (d x +c \right )}{\cos \left (d x +c \right )+1}}}\right )+28466 \cot \left (d x +c \right )^{3} \cos \left (d x +c \right )^{2}-28116 \cos \left (d x +c \right ) \cot \left (d x +c \right )^{3}-34852 \cot \left (d x +c \right )^{3}+4490 \cot \left (d x +c \right )^{2} \csc \left (d x +c \right )+8946 \cot \left (d x +c \right ) \csc \left (d x +c \right )^{2}\right )}{24576 d \,a^{3} \left (\cos \left (d x +c \right )+1\right )^{3}}\) | \(710\) |
[In]
[Out]
none
Time = 0.39 (sec) , antiderivative size = 868, normalized size of antiderivative = 2.45 \[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\text {Too large to display} \]
[In]
[Out]
\[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\int \frac {\cot ^{4}{\left (c + d x \right )}}{\left (a \left (\sec {\left (c + d x \right )} + 1\right )\right )^{\frac {5}{2}}}\, dx \]
[In]
[Out]
\[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\int { \frac {\cot \left (d x + c\right )^{4}}{{\left (a \sec \left (d x + c\right ) + a\right )}^{\frac {5}{2}}} \,d x } \]
[In]
[Out]
none
Time = 1.39 (sec) , antiderivative size = 296, normalized size of antiderivative = 0.83 \[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\frac {3 \, {\left (2 \, {\left (4 \, {\left (\frac {2 \, \sqrt {2} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2}}{a^{3} \mathrm {sgn}\left (\cos \left (d x + c\right )\right )} - \frac {19 \, \sqrt {2}}{a^{3} \mathrm {sgn}\left (\cos \left (d x + c\right )\right )}\right )} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + \frac {369 \, \sqrt {2}}{a^{3} \mathrm {sgn}\left (\cos \left (d x + c\right )\right )}\right )} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} - \frac {2989 \, \sqrt {2}}{a^{3} \mathrm {sgn}\left (\cos \left (d x + c\right )\right )}\right )} \sqrt {-a \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + a} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + \frac {512 \, \sqrt {2} {\left (12 \, {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + a}\right )}^{4} - 21 \, {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + a}\right )}^{2} a + 11 \, a^{2}\right )}}{{\left ({\left (\sqrt {-a} \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + a}\right )}^{2} - a\right )}^{3} \sqrt {-a} a \mathrm {sgn}\left (\cos \left (d x + c\right )\right )}}{24576 \, d} \]
[In]
[Out]
Timed out. \[ \int \frac {\cot ^4(c+d x)}{(a+a \sec (c+d x))^{5/2}} \, dx=\int \frac {{\mathrm {cot}\left (c+d\,x\right )}^4}{{\left (a+\frac {a}{\cos \left (c+d\,x\right )}\right )}^{5/2}} \,d x \]
[In]
[Out]